LexiClone Inc. and NIST TREC. Ilya Geller The UniSearch-4.6 program created by the company LexiClone Inc. for seeking out textual information is intended to search for Reality as well as Truth. Whil

Source URL: trec.nist.gov

• Logic
• Philosophy of life
• Reality
• Mathematical logic
• Logical truth
• Tautology
• Truth
• Existence
• Ludwig Wittgenstein
• Philosophy
• Metaphysics
• Ontology

Keio University Thesis Abstract No. Registration

Source URL: www.flet.keio.ac.jp

• Logical syntax
• Formal languages
• Formal systems
• Logical truth
• Diagrammatic reasoning
• Mathematical proof
• Linear logic
• Formal proof
• Mathematical logic
• Logic
• Mathematics
• Proof theory

Three-Valued Logics Notation: p, q, r atomic formulas; A, B, C arbitrary formulas Values = {T, F, N} Valuation = assignment of a value from Values to each atomic formula Can be extended to an assignment of values to each

Source URL: johnmacfarlane.net

• Propositional calculus
• Semantics
• Boolean algebra
• Logical connective
• Truth table
• Valuation
• If and only if
• Tautology
• Natural deduction
• Abstract algebra
• Logic
• Mathematics

Graham Priest on validity ... the notion of validity that comes out of the orthodox account is a strangely perverse one according to which any rule whose conclusion is a logical truth is valid and, conversely, any rule

Source URL: johnmacfarlane.net

Weak Formal Systems and Connections to Computational Complexity Lecture Notes for a Topics Course University of California, Berkeley January-May 1988

Source URL: euclid.ucsd.edu

• Proof theory
• Automated theorem proving
• Propositional calculus
• Logical truth
• Logical syntax
• Sequent
• Cut-elimination theorem
• Substitution
• Resolution
• Logic
• Mathematical logic
• Mathematics

This is a revised and extended version for journal publication of a paper in Proceedings, International Symposium on Multimedia Software Engineering, ed. Jeffrey Tsai and Po-Jen Chuang, IEEE Press, pages 25–32, 2000; t

Source URL: cseweb.ucsd.edu

• Automated theorem proving
• Mathematical logic
• Formal methods
• Logical truth
• Mathematical proof
• Proof assistant
• Formal proof
• Proof
• Theorem
• Logic
• Mathematics
• Proof theory

Propositional Logic Review John MacFarlane January 24, 2011 The task of describing a logical system comes in three parts: Grammar Describing what counts as a formula. Semantics Defining truth in a model (and, derivativel

Source URL: johnmacfarlane.net

• Logical truth
• Binary operations
• Boolean algebra
• Tautology
• Logical connective
• If and only if
• Entailment
• Well-formed formula
• Truth table
• Logic
• Propositional calculus
• Philosophical logic

Automatically Generating Problems and Solutions for Natural Deduction Umair Z. Ahmed IIT Kanpur Sumit Gulwani

Source URL: research.microsoft.com

• Propositional calculus
• Mathematical logic
• Logical truth
• Rule of inference
• Natural deduction
• Algorithm
• Maths24
• PROPT
• Logic
• Deduction
• Proof theory

Stalnaker on Indicative Conditionals John MacFarlane — Philosophy 142 April 19, 2011 1

Source URL: johnmacfarlane.net

• Logical consequence
• Propositional calculus
• Binary operations
• Counterfactual conditional
• Material conditional
• Modal logic
• Vacuous truth
• Indicative conditional
• Robert Stalnaker
• Logic
• Conditionals
• Philosophical logic

Annals of the University of Bucharest (mathematical series) 5 (LXIII), 245–258 Seepage flow analysis in gravity and in variable acceleration fields Annamaria Cividini and Giancarlo Gioda

Source URL: fmi.unibuc.ro

• Differential equation
• Partial differential equations
• Dimensional analysis
• Equations of motion
• Viscosity
• Navier–Stokes equations
• Radiation stress
• Physics
• Equations
• Logical truth